Louveau, A., S. Shelah and B. Velikovi, Borel partitions of infinite subtrees of a perfect tree, Annals of Pure and Applied Logic 63 271–281. We define a notion of type of a perfect tree and show that, for any given type τ, if the set of all subtrees of a given perfect tree T which have type τ is partitioned into two Borel classes then there is a perfect subtree S of T such that all subtrees of S of type (...) τ belong to the same class. This result simultaneously generalizes the partition theorems of Galvin-Prikry and Galvin-Blass. The key ingredient of the proof is the theorem of Halpern-Laüchli on partitions of products of perfect trees. (shrink)

This paper studies, by way of an example, the intuitionistic propositional connective * defined in the language of second order propositional logic by. In full topological models * is not generally definable, but over Cantor-space and the reals it can be classically shown that; on the other hand, this is false constructively, i.e. a contradiction with Church's thesis is obtained. This is comparable with some well-known results on the completeness of intuitionistic first-order predicate logic.Over [0, 1], the operator * is (...) (constructively and classically) undefinable. We show how to recast this argument in terms of intuitive intuitionistic validity in some parameter. The undefinability argument essentially uses the connectedness of [0, 1]; most of the work of recasting consists in the choice of a suitable intuitionistically meaningful parameter, so as to imitate the effect of connectedness. (shrink)

Brain tumor classification plays a niche role in medical prognosis and effective treatment process. We have proposed a combined feature and image-based classifier for brain tumor image classification in this study. Carious deep neural network and deep convolutional neural networks -based architectures are proposed for image classification, namely, actual image feature-based classifier, segmented image feature-based classifier, actual and segmented image feature-based classifier, actual image-based classifier, segmented image-based classifier, actual and segmented image-based classifier, and finally, CFIC. The Kaggle Brain Tumor Detection (...) 2020 dataset has been used to train and test the proposed classifiers. Among the various classifiers proposed, the CFIC performs better than all other proposed methods. The proposed CFIC method gives significantly better results in terms of sensitivity, specificity, and accuracy with 98.86, 97.14, and 98.97%, respectively, compared with the existing classification methods. (shrink)

Работа посвящена ставшей уже традиционной, но до сих пор вызывающей жаркие дискуссии проблеме: роли диалектики в систем научных методов познания, ее отношению к другим методам, ее собственному аутентичному содержанию. Для философов.

T. 1. Ot antichnoĭ fiziki do Mendeleeva.

t. 1. Obshchai︠a︡ teorii︠a︡ prava. Ugolovnoe pravo -- t. 2. Kriminologii︠a︡, sot︠s︡iologii︠a︡, konfliktologii︠a︡ -- t. 3. Politologii︠a︡, ideologii︠a︡, ėtika.

Exposition of Guḍārthatattvāloka of Dharmadatta Jhā, 1860-1918, commentary on the Siddhāntalakṣaṇa of Jagadīśatarkālaṅkāra, work on the basic tenets of the Nyaya school in Hindu philosophy.

Festschrift in honor of S.A. Shaida; contributed research papers.

Background: In 2014, companies began covering the costs of egg freezing for their employees. The adoption of this benefit was highly contentious. Some argued that it offered women more reproductive...